Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
371	Interpolant Strength in Model Checking Based on CAV’12 work Simone Fulvio Rollini, O. Sery, N. Sharygina Formal Verification Lab, University of Lugano Add to Reading List Source URL: richmodels.epfl.ch Language: English - Date: 2012-11-18 01:54:38
372	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 10:38:10 Logic in computer science Philosophical logic Models of computation Bisimulation Model checking Entailment State transition system Formal verification FO Logic Theoretical computer science Applied mathematics
373	BRICS Basic Research in Computer Science BRICS DS-00-7 M. Jurdzi´nski: Games for Verification: Algorithmic Issues Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-13 08:14:25 Logic in computer science Computability theory Formal methods Model checking Theory of computation Algorithm BRIC Halting problem Formal verification Theoretical computer science Applied mathematics Mathematics
374	Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu∗ , Markus Voelter† , Bernhard Schaetz∗ , Bernd Kolb‡ ∗ ForTISS, Munich, Germany, {ratiu \| schaetz}@fortiss.org † indep Add to Reading List Source URL: mbeddr.com Language: English Theoretical computer science Model checkers Logic in computer science NuSMV Model checking Formal verification Domain-specific language Programming language Feature model Formal methods Software Mathematics
375	Formal Verification of Real-Time Wireless Sensor Networks Protocols with Realistic Radio Links Alexandre Mouradian Isabelle Augé-Blum Add to Reading List Source URL: leat.unice.fr Language: English - Date: 2013-11-08 01:30:47 Information Data transmission Technology Model checking ANT Communications protocol Wireless networking Data Wireless sensor network
376	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin Department of Computer Science University of Pennsylvania {sburckha, alur, m Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-12-21 11:42:39
377	Biometrics 61, 74–85 March 2005 Multiple Imputation for Model Checking: Completed-Data Plots with Missing and Latent Data Andrew Gelman,1,∗ Iven Van Mechelen,2 Geert Verbeke,3 Add to Reading List Source URL: www.stat.columbia.edu Language: English - Date: 2005-03-09 16:55:08 Scientific method Psychometrics Expectation–maximization algorithm Imputation Latent variable Statistics Missing data Data analysis
378	Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-08 01:07:27 Computer science Rajeev Alur Formal sciences Automata theory Model checking IEEE Symposium on Logic in Computer Science Formal methods Formal verification Symposium on Theory of Computing Theoretical computer science Applied mathematics Logic in computer science
379	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
380	An Unfolding Approach to Model Checking Javier Esparza Laboratory for Foundations of Computer Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2001-12-27 14:29:59 Organofluorides Glucocorticoids

UPDATE